Bilattices for deductions in multi-valued logic
نویسندگان
چکیده
منابع مشابه
Bilattices In Logic Programming
Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice...
متن کاملMulti-Valued Logic Synthesis
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized binary-valued logic, as well as motivating research towards a true multi-valued multi-level optimization package.
متن کامل4-valued Reasoning with Stratified Bilattices
Since [5], 4-valued logic is known to be a useful tool to capture the human reasoning: it is paraconsistent, can treat incompleteness and inconsistency of information etc. In this paper, I propose a 4-valued reasoning system with stratified bilattices of [12]. It inherits desirable formal properties of 4-valued logic, and further realizes a certain kind of default reasoning and truth maintenanc...
متن کاملLevel Restoration for Multi-valued Logic Circuits
Compared to binary logic, the multi-valued logic circuits provide very small chip size, higher speed, and small number of interconnections and simpler realization of logic functions. However, the main drawback of these circuits is the lower noise margin. The noise margin decreases as the radix of multi-valued system increases. Due to the low noise margins, it is necessary to restore or recover ...
متن کاملTowards a multi-valued logic for argumentation
The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2013
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2013.04.004